Search Results for 'ensures ref'

ensures ref published presentations and documents on DocSlides.

Specification and Verification of

by tawny-fly

Object-Oriented Software. K. Rustan M. Leino. R...

Program verification via an intermediate language

by kittie-lecroy

K. Rustan M. Leino. Microsoft Research, Redmond. ...